require proofs of a statement